inseparable extension

不可分扩张